Generalization with Taxonomic Information
نویسندگان
چکیده
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorithm for the task, discusses the algorithm and task complexity, and presents semantic properties of sorted generalization. Based on its semantic properties, we show how sorted generalization is applicable to such problems as abduction, induction, knowledge base vivification, and analogical reasoning. Significant distinctions between this work and related work with taxonomic information arise from the generality of the taxonomic theories we allow, which may be any first-order taxonomic theories, and the semantic completeness properties of sorted generalization.
منابع مشابه
Partonomic Reasoning as Taxonomic Reasoning in Medicine
Taxonomic anatomical knowledge, a major portion of medical ontologies, is fundamentally characterized by is-a and part-whole relations between concepts. While taxonomic reasoning in generalization hierarchies is well-understood, no fully conclusive mechanism as yet exists for partonomic reasoning. We here propose a new representation construct for part-whole relations, based on the formal frame...
متن کاملA Taxonomic Generalization Technique for Natural Language Processing
Automatic processing of text documents requires techniques that can go beyond the lexical level, and are able to handle the semantics underlying natural language sentences. A support for such techniques can be provided by taxonomies that connect terms to the underlying concepts, and concepts to each other according to different kinds of relationships. An outstanding example of such a kind of re...
متن کاملGeneric language facilitates children's cross-classification.
Four studies examined the role of generic language in facilitating 4- and 5-year-old children's ability to cross-classify. Participants were asked to classify an item into a familiar (taxonomic or script) category, then cross-classify it into a novel (script or taxonomic) category with the help of a clue expressed in either generic or specific language. Experiment 1 showed that generics facilit...
متن کاملMalware characteristics and threats on the internet ecosystem
Malware encyclopedias nowplay a vital role indisseminating information about security threats. Coupled with categorization and generalization capabilities, such encyclopedias might help better defend against both isolated and clustered specimens.In this paper, we presentMalware Evaluator, a classification framework that treats malware categorization as a supervised learning task, builds learnin...
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کامل